📝 Compiler Design

Parser Generators, AST Construction, Symbol Tables, Code Generation, Abstract Syntax Trees, Type Checking, Code Generation, Optimization

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2h
🦀Rust Macros
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·13h·
Discuss: Hacker News
💻Programming languages
How To Solve Every Programming Problem
blog.codeminer42.com·10h
📐Interval Arithmetic
An easy-to-implement, arena-friendly hash map
nullprogram.com·8h·
Discuss: Lobsters
🔐Hash Functions
My take on a "IDE" for Claude Code with activities while you are vibe coding
sssli.de·1d·
Discuss: Hacker News
🦀Rust Macros
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·1d
📖Nordic Typography
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🦀Rust Borrowing
Software Internals Book Club
eatonphil.com·2d
⚙️Operating System Design
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·1d
📊Static Analysis
🔁 Elegant Iterator Chains in Go — Finally Here
dev.to·53m·
Discuss: DEV
⬆️Lambda Lifting
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·2h
📝Concrete Syntax
The Amaranth hardware description language
amaranth-lang.org·1d·
Discuss: Hacker News
🔍FPGA Verification
Show HN: Principles of Building AI Agents book [pdf]
github.com·15h·
Discuss: Hacker News
⚡Proof Automation
Integrating Argumentation Seamlessly
blog.mathed.page·7h
📚Proof Pedagogy
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·5d
🔗Functional Compilers
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Software books I wish I could read
buttondown.com·17h·
Discuss: Hacker News
🔄Language Evolution
Introductory Computer Science and Software Engineering Topics
albertyw.com·3d
🛠Language Design
Eval-maxing an AI FFmpeg command generator
getkiln.ai·9h·
Discuss: Hacker News
🎞️FFmpeg Filters